Principle and progress of reversible computing
نویسندگان
چکیده
منابع مشابه
Reversible Computing - Fundamentals, Quantum Computing, and Applications
Make more knowledge even in less time every day. You may not always spend your time and money to go abroad and get the experience and knowledge by yourself. Reading is a good alternative to do in getting this desirable knowledge and experience. You may gain many things from experiencing directly, but of course it will spend much money. So here, by reading reversible computing fundamentals quant...
متن کاملReversible monadic computing
We extend categorical semantics of monadic programming to reversible computing, by considering monoidal closed dagger categories: the dagger gives reversibility, whereas closure gives higher-order expressivity. We demonstrate that Frobenius monads model the appropriate notion of coherence between the dagger and closure by reinforcing Cayley’s theorem; by proving that effectful computations (Kle...
متن کاملFoundations of Generalized Reversible Computing
Information loss from a computation implies energy dissipation due to Landauer’s Principle. Thus, increasing the amount of useful computational work that can be accomplished within a given energy budget will eventually require increasing the degree to which our computing technologies avoid information loss, i.e., are logically reversible. But the traditional definition of logical reversibility ...
متن کاملFundamentals of Reversible Logic and Computing
1. Landauer’s Principle and the fundamentals of Reversible Logic. 2. Feynman, Fredkin and Toffoli gates. 3. Multiple -valued reversible logic and gates (Picton’s gates and circuits, our generalizations). 4. In the search of the best universal reversible gates. 5. Logic synthesis using reversible gates. 5.1. Cascades and work of Sasao/Kinoshita 5.2. Other regular structures and works of Picton, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SCIENTIA SINICA Informationis
سال: 2016
ISSN: 1674-7267
DOI: 10.1360/n112015-00048